CHARME 2001 Advanced Research Working Conference on Correct Hardware Design and Verification MethodsMARGARIA, Tiziana.International journal on software tools for technology transfer (Print). 2003, Vol 4, Num 3, pp 266-380, issn 1433-2779, 115 p.Conference Proceedings

High level test of complex systemsMARGARIA, Tiziana.International journal on software tools for technology transfer (Print). 2005, Vol 7, Num 4, issn 1433-2779, 95 p.Serial Issue

TACAS 2001 : tools and algorithms for the construction and analysis of systems (Genova, 2-6 April 2001)Margaria, Tiziana; Wang Yi.Lecture notes in computer science. 2001, issn 0302-9743, isbn 3-540-41865-2, XIV, 588 p, isbn 3-540-41865-2Conference Proceedings

CHARME 2001 : correct hardware design and verification methods (Livingston, 4-7 September 2001)Margaria, Tiziana; Melham, Tom.Lecture notes in computer science. 2001, issn 0302-9743, isbn 3-540-42541-1, XII, 482 p, isbn 3-540-42541-1Conference Proceedings

Leveraging applications of formal methods (First international symposium, ISoLA 2004, Paphos, Cyprus, October 30-November 2, 2004)Margaria, Tiziana; Steffen, Bernhard.Lecture notes in computer science. 2006, issn 0302-9743, isbn 978-3-540-48928-3, 1Vol, VIII-196 p, isbn 978-3-540-48928-3Conference Proceedings

Run-time agents as a means of reconciling flexibility and scalability of servicesMARGARIA, Tiziana; STEFFEN, Bernhard.Lecture notes in computer science. 2006, pp 257-268, issn 0302-9743, isbn 3-540-69265-7, 1Vol, 12 p.Conference Paper

Service engineering : Linking business and ITMARGARIA, Tiziana; STEFFEN, Bernhard.Computer (Long Beach, CA). 2006, Vol 39, Num 10, pp 45-55, issn 0018-9162, 11 p.Article

International Symposium on Leveraging Applications of Formal Methods (ISoLA 2004)MARGARIA, Tiziana; STEFFEN, Bernhard.Theoretical computer science. 2008, Vol 404, Num 3, issn 0304-3975, 125 p.Conference Proceedings

Test distribution : a solution for complex network system testingVIHO, César.International journal on software tools for technology transfer (Print). 2005, Vol 7, Num 4, pp 316-325, issn 1433-2779, 10 p.Article

Simplicity as a Driver for Agile InnovationMARGARIA, Tiziana; STEFFEN, Bernhard.Computer (Long Beach, CA). 2010, Vol 43, Num 6, pp 90-92, issn 0018-9162, 3 p.Article

Test generation for radiotherapy acceleratorsTURNER, Kenneth J.International journal on software tools for technology transfer (Print). 2005, Vol 7, Num 4, pp 361-375, issn 1433-2779, 15 p.Article

A framework for distributing object-oriented designsEL GUEMHIOUI, Karim.International journal on software tools for technology transfer (Print). 2003, Vol 4, Num 3, pp 381-396, issn 1433-2779, 16 p.Conference Paper

Assuring property conformance of code generators via model checkingJÖRGES, Sven; MARGARIA, Tiziana; STEFFEN, Bernhard et al.Formal aspects of computing. 2011, Vol 23, Num 5, pp 589-606, issn 0934-5043, 18 p.Conference Paper

Hardware synthesis using SAFL and application to processor design (Invited talk)MYCROFT, Alan; SHARP, Richard.Lecture notes in computer science. 2001, pp 13-39, issn 0302-9743, isbn 3-540-42541-1Conference Paper

Proof engineering in the large : Formal verification of Pentium®4 floating-point dividerKAIVOLA, Roope; KOHATSU, Katherine.Lecture notes in computer science. 2001, pp 196-211, issn 0302-9743, isbn 3-540-42541-1Conference Paper

Hardware/software co-design using functional languagesMYCROFT, Alan; SHARP, Richard.Lecture notes in computer science. 2001, pp 236-251, issn 0302-9743, isbn 3-540-41865-2Conference Paper

Model checking CTL^*[DC]PANDYA, Paritosh K.Lecture notes in computer science. 2001, pp 559-573, issn 0302-9743, isbn 3-540-41865-2Conference Paper

On the correctness of transformations in compiler back-endsZIMMERMANN, Wolf.Lecture notes in computer science. 2006, pp 74-95, issn 0302-9743, isbn 978-3-540-48928-3, 1Vol, 22 p.Conference Paper

Parameterized verification of the FLASH cache coherence protocol by compositional model checkingMCMILLAN, K. L.Lecture notes in computer science. 2001, pp 179-195, issn 0302-9743, isbn 3-540-42541-1Conference Paper

Temporal properties of self-timed ringsWINSTANLEY, Anthony; GREENSTREET, Mark.Lecture notes in computer science. 2001, pp 140-154, issn 0302-9743, isbn 3-540-42541-1Conference Paper

An automata based interpretation of Live Sequence ChartsKLOSE, Jochen; WITTKE, Hartmut.Lecture notes in computer science. 2001, pp 512-527, issn 0302-9743, isbn 3-540-41865-2Conference Paper

Building a tool for the analysis and testing of Web applications : Problems and solutionsRICCA, Filippo; TONELLA, Paolo.Lecture notes in computer science. 2001, pp 373-388, issn 0302-9743, isbn 3-540-41865-2Conference Paper

A higher-level language for hardware synthesisSHARP, Richard; MYCROFT, Alan.Lecture notes in computer science. 2001, pp 228-243, issn 0302-9743, isbn 3-540-42541-1Conference Paper

Induction-oriented formal verification in symmetric interconnection networksGASCARD, Eric; PIERRE, Laurence.Lecture notes in computer science. 2001, pp 418-432, issn 0302-9743, isbn 3-540-42541-1Conference Paper

Towards provably-correct hardware compilation tools based on pass separation techniquesMCKEEVER, Steve; LUK, Wayne.Lecture notes in computer science. 2001, pp 212-227, issn 0302-9743, isbn 3-540-42541-1Conference Paper